$\vdash$  $\forall$$A$,$B$,$C$:$\mathbb{P}$. ($A$ $\vee$ $B$ $\vee$ $C$) $\Leftarrow\!\Rightarrow$ (($A$ $\vee$ $B$) $\vee$ $C$)